<html>
<head>
    <link rel="stylesheet" type="text/css" href="css/tips.css">
</head>
<body>
    <p>
        If you need more screen real estate, you can hide the tool windows bars by clicking <img src="images/show_hide_tool_window_bars.png"> in the lower left corner.
    </p>
    <p>
        If necessary, you can show the tool window buttons just for a moment. To do that, press the <span class="shortcut">Alt</span> key (on Windows and Linux) or the <span class="shortcut">Command</span> key (on macOS) twice and keep it pressed. While the key is pressed, the tool window buttons are visible.
    </p>
</body>
</html>
